left congruence rejection

左同余关系